A Direct Multigrid Poisson Solver for Oct-Tree Adaptive Meshes

We describe a finite-volume method for solving the Poisson equation on oct-tree adaptive meshes using direct solvers for individual mesh blocks. The method is a modified version of the method presented by Huang and Greengard (2000), which works with finite-difference meshes and does not allow for shared boundaries between refined patches. Our algorithm is implemented within the FLASH code framework and makes use of the PARAMESH library, permitting efficient use of parallel computers. We describe the algorithm and present test results that demonstrate its accuracy.Comment: 10 pages, 6 figures, accepted by the Astrophysical Journal; minor revisions in response to referee's comments; added char

Periodic orbits in the restricted three body problem with earth-moon masses

Classification scheme for symmetric periodic orbits in restricted three body problem with two dimensions and earth-moon mass rati

Periodic orbits in the elliptic restricted three-body problem Technical report, 1 Jul. 1967 - 30 Jun. 1968

Periodic orbits in restricted three body proble

New periodic orbits in the solar sail three-body problem

We identify displaced periodic orbits in the circular restricted three-body problem, wher the third (small) body is a solar sail. In particular, we consider solar sail orbits in the earth-sun system which are high above the exliptic plane. It is shown that periodic orbits about surfaces of artificial equilibria are naturally present at linear order. Using the method of Lindstedt-Poincare, we construct nth order approximations to periodic solutions of the nonlinear equations of motion. In the second part of the paper we generalize to the solar sail elliptical restricted three-body problem. A numerical continuation, with the eccentricity, e, as the varying parameter, is used to find periodic orbits above the ecliptic, starting from a known orbit at e=0 and continuing to the requied eccentricity of e=0.0167. The stability of these periodic orbits is investigated

Instabilities and stickiness in a 3D rotating galactic potential

We study the dynamics in the neighborhood of simple and double unstable periodic orbits in a rotating 3D autonomous Hamiltonian system of galactic type. In order to visualize the four dimensional spaces of section we use the method of color and rotation. We investigate the structure of the invariant manifolds that we found in the neighborhood of simple and double unstable periodic orbits in the 4D spaces of section. We consider orbits in the neighborhood of the families x1v2, belonging to the x1 tree, and the z-axis (the rotational axis of our system). Close to the transition points from stability to simple instability, in the neighborhood of the bifurcated simple unstable x1v2 periodic orbits we encounter the phenomenon of stickiness as the asymptotic curves of the unstable manifold surround regions of the phase space occupied by rotational tori existing in the region. For larger energies, away from the bifurcating point, the consequents of the chaotic orbits form clouds of points with mixing of color in their 4D representations. In the case of double instability, close to x1v2 orbits, we find clouds of points in the four dimensional spaces of section. However, in some cases of double unstable periodic orbits belonging to the z-axis family we can visualize the associated unstable eigensurface. Chaotic orbits close to the periodic orbit remain sticky to this surface for long times (of the order of a Hubble time or more). Among the orbits we studied we found those close to the double unstable orbits of the x1v2 family having the largest diffusion speed.Comment: 29pages, 25 figures, accepted for publication in the International Journal of Bifurcation and Chao

Infinitely many periodic orbits for the rhomboidal five-body problem

We prove the existence of infinitely many symmetric periodic orbits for a regularized rhomboidal five-body problem with four small masses placed at the vertices of a rhombus centered in the fifth mass. The main tool for proving the existence of such periodic orbits is the analytic continuation method of Poincaré together with the symmetries of the problem. © 2006 American Institute of Physics

Unfolding-Based Process Discovery

This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged activities, and a collection of negative traces. After deriving an intermediate net unfolding from them, we perform a controlled folding giving rise to a Petri net which contains both the input log and all independence-equivalent traces arising from it. Remarkably, the derived Petri net cannot execute any trace from the negative collection. The entire chain of transformations is fully automated. A tool has been developed and experimental results are provided that witness the significance of the contribution of this paper.Comment: This is the unabridged version of a paper with the same title appearead at the proceedings of ATVA 201